package gov.nasa.jpf.jvm;
//import java.net.URL;
public class JPF_java_net_URL {

//  public static int openStream (MJIEnv env, int robj) {
//    int rInputStream = MJIEnv.NULL;
//    return rInputStream;
//  }
//  public native int openConnection();
//  public static int openConnection (MJIEnv env, int robj) {
//    int rURLConnection = MJIEnv.NULL;
//    env.get
//    return rURLConnection;
//  }

//  public static int openConnection (MJIEnv env, int robj, int rProxy0) {
//    int rURLConnection = MJIEnv.NULL;
//    return rURLConnection;
//  }

}
